First Steps Towards a Formalization of Forcing
نویسندگان
چکیده
منابع مشابه
Responsibility Judgments: Steps towards a formalization
The concept of responsibility refers to different, although related, meanings. Judgments about responsibility, demerit or merit may involve several facets, such as causality, intentionality, awareness of consequences, as well as utility and deontic notions. The proposed approach relies on a recent modeling of causality ascription by agents put in face of a sequence of reported events, on the ba...
متن کاملFirst Steps Towards a Geometry of Computation
We introduce a geometrical setting which seems promising for the study of computation in multiset rewriting systems, but could also be applied to register machines and other models of computation. This approach will be applied here to membrane systems (also known as P systems) without dynamical membrane creation. We discuss the rôle of maximum parallelism and further simplify our model by consi...
متن کاملFirst Steps Towards Revising Ontologies
When modeling an ontology, one very often wants to add new information and keep the resulting ontology consistent. Belief Revision deals with the problem of consistently adding new formulas to a knowledge base. In this paper, we present some steps towards applying belief revision methods to ontologies based on description logics. We depart from the well known AGM-paradigm and show how it can be...
متن کاملFirst Steps Towards Inferential Programming
This is a slightly revised version of a paper to appear in the proceedings of the IFIP 83 Congress. This research was supported in part by the Defense Advanced Research Projects Agency (DOD), ARPA Order No. 3597, monitored by the Air Force Avionics Laboratory under Contract F33615-81-K-1539, and in part by the U.S. Army Communications R&D Command under Contract DAAK80-81-K-0074. The views and c...
متن کاملFirst steps towards a Predicate Matrix
This paper presents the first steps towards building the Predicate Matrix, a new lexical resource resulting from the integration of multiple sources of predicate information including FrameNet (Baker et al., 1997), VerbNet (Kipper, 2005), PropBank (Palmer et al., 2005) and WordNet (Fellbaum, 1998). By using the Predicate Matrix, we expect to provide a more robust interoperable lexicon by discov...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2019
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2019.07.008